|
|
1.
基于通信序列进程的UML序列图形式化方法
邓建波 张立臣 邓惠敏 徐碧红
计算机应用
2010, 30 (10):
2727-2729.
UML2.0序列图是一种描述对象之间动态协作和事件发展时间关系的视图,但是UML序列图缺乏精确的形式化语义，所以不利于对其所描述的系统进行形式化验证。为此，根据UML2.0语义文档及组合碎片包概念，基于通信序列进程(CSP)给出了UML序列图的基本元素和消息迹的形式化定义及生成规则，实现了UML序列图的形式化，为UML序列图在描述系统准确性和有效性方面提供了形式化的检验方法。最后通过ATM实例说明UML序列图这一过程的正确性。
相关文章 |
多维度评价
|
|
